LOTOS相关论文
随着计算机网络、通信网络以及分布式系统的不断发展,通信协议有日渐复杂化的趋势,形式描述技术在网络协议设计中占有举足轻重的作......
随着计算机网络、通信网络以及分布式系统的不断发展，通信协议有日渐复杂化的趋势，形式描述技术在网络协议设计中占有举足轻重的作用......
随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用......
高端案例：号称世界上最昂贵的眼镜品牌LOTOS的奢侈感，最初来自于产品属性上的“高科技”及第三方的论证。但在目前其一系列的推广传......
为了实现对伪代码的模型检测并且能够缓解模型检测中的状态空间爆炸问题,提出了测试目的引导的模型检测方法。该方法的基本思想是......
LOTOS(Language of Temporal Ordering Specification)是一种基于进程代数CCS的协议描述语言.这里提出LOTOS的实时扩展ET-LOTOS,是......
为了实现由BPEL描述的Web服务组合到LOTOS的自动化转换,提出一种基于翻译模式的转换算法。从BPEL语言的XML schema定义出发,分析BP......
品牌简介诞生于1872年的德国传统手工珠宝眼镜品牌LOTOS,由施密特家族（DoppenSchmidt）始创于德国南部制金重镇Pforzheim（普福尔茨姆）。......
在漫长的人类制镜史上,曾经出现过不少令人叹为观止的经典之作,无论是选材用料、款型设计、加工制作还是配色方案,总有其过人之处......
由于PIM-SM协议标准化进程还处在实验阶段,协议本身需要不断发展完善.提出PIM-SM组播系统的抽象模型,给出了协议实体的部分形式化......
形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重......
就分布式多媒体系统DMS中同步问题进行了分析与探讨，首先论述了形式化规范语言LOTOS的约定与基本概念，然后对其进行了基于时间的扩充......
通过深入分析GOMS、LOTOS和UAN这三种行为模型的局限性和优势，提出一种HEIS（Hierarchical Elaborate Interface specmcation）模型，HEIS......
本论文从实践LOTOS语言的角度出发，采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。......
LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂，虽然给出了语义，但在编写及分析LOTOS规格说明文......
本文以LOTOS为基础，简介了LOTOS进程代数的概念和算子。同时，以事件结构作为进程代数的语义模型，充分展示了形式化方法是如何对一个复......
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之.该文对基于LOTOS的形式描述规范的实现方法进行了研究,包括目标实现环境的......
在复杂系统的设计流程中，每个设计阶段都要制定标准的设并方案以实现系统功能。渐进细化设计就是把设计流程中的设计方案和检验其能......
依据多媒体时间模型和同步模型，面向对象的并发系统和分布式系统的研究已经取得不少结果.但由于特殊的要求，这些结果已不能满足实际......
Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描......
Lotos规范风格在系统规范描述中可以体现系统模型的结构性.在已存在的4种Lotos规范风格中,引入了宏的思想,构思了一种新的Lotos描......
基于基本网络代数(Basic Network Algebra, BNA)和LOTOS/E-LOTOS,该文提出一种适合于分析Internet路由系统行为的代数系统.该代数......
面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组......
近日，GBV大光明眼镜眼艺圈视觉会所特邀德国百年珠宝眼镜品牌LOTOS在美丽的西子湖畔呈献了一场百万手工珠宝品鉴会，来自全国各地的眼......
面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
层次化设计方法是人们广泛接受的硬件电路设计的最主要方法之一。动作细化是系统层次化刻画方法的核心操作,目前已发展成为众所周......
在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述......
分析了LOTOS规范语言的4种规范风格的特征和在分布式系统开发中的实际应用,描绘了网络服务和协议的基本设计属性,并讨论了规范风格......
<正>日前,第37届香港电影金像奖颁奖典礼圆满落幕,溥仪眼镜再度耀目赞助此届颁奖典礼及"最佳衣着奖",并送出德国手工珠宝眼镜品牌......
期刊
独特时尚、流行感十足的Prada,将舒适、实用和艺术融为一体的Oakley,希腊与罗马古典主义完美结合的Bvlgari……在眼镜的世界里,各......
